InsFtute
of
Molecular
Systems
Biology

 Accelerating 3D Protein Modeling Using Cloud Computing 
 Lars
Malmström,
Ruedi
Aebersold
–
ETH
Zürich,
IMSB
h?p://www.imsb.ethz.ch
 Wibke
Sud

Source URL: www.cloudbroker.com

• Cloud infrastructure
• IBM cloud computing
• Computing
• Cloud computing

Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland

Source URL: files.sri.inf.ethz.ch

• Probability and statistics
• Probability theory
• Artificial intelligence
• Machine learning
• Computational statistics
• Graphical models
• Computational linguistics
• Natural language processing
• Conditional random field
• Probabilistic programming language
• Inference
• Support vector machine

SWIFT: Predictive Fast Reroute Thomas Holterbach ETH Zürich / CAIDA SIGCOMM 24th August 2017

Source URL: swift.ethz.ch

• Internet architecture
• Computing
• Information and communications technology
• Internet
• Internet protocols
• Computer networking
• Border Gateway Protocol
• Router

Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch

Source URL: practicalsynthesis.github.io

• Mathematical logic
• Logic
• Predicate logic
• Mathematics
• Predicate
• FO
• Atomic sentence
• Primitive recursive function
• Syntactic predicate

SWIFT: Predictive Fast Reroute∗ Thomas Holterbach Stefano Vissicchio ETH Zürich; CAIDA, UC San Diego

Source URL: nsg.ee.ethz.ch

Algorithmic Blockchain Channel Design Georgia Avarikioti ETH Zurich, Switzerland Yuyi Wang

Source URL: arxiv.org

• Graph theory
• Cryptocurrencies
• Mathematics
• Shortest path problem
• Lightning Network
• Minimum spanning tree
• Directed graph
• Blockchain
• Bitcoin
• Line graph
• Eulerian path

The SCION Internet Architecture An Internet Architecture for the 21st Century David Barrera, Laurent Chuat, Adrian Perrig, Raphael M. Reischuk, Pawel Szalachowski Network Security Group, ETH Zurich, Switzerland March 6,

Source URL: www.netsec.ethz.ch

• Computing
• Network architecture
• Internet architecture
• Internet
• Routing
• Internet Standards
• Internet protocols
• Forwarding plane
• Router
• Border Gateway Protocol
• Open Shortest Path First
• Multiprotocol Label Switching

A Paged Domain Name System for Query Privacy Daniele E. Asoni, Samuel Hitz, and Adrian Perrig Network Security Group Department of Computer Science, ETH Zürich {daniele.asoni,samuel.hitz,adrian.perrig}@inf.ethz.ch

Source URL: www.netsec.ethz.ch

• Domain name system
• Internet
• Internet Standards
• Network architecture
• Computing
• Domain Name System Security Extensions
• Name server
• Domain name
• Root name server
• WHOIS
• Fully qualified domain name
• Second-level domain

Internet Kill Switches Demystified Benjamin Rothenberger ETH Zürich

Source URL: www.netsec.ethz.ch

• Cryptography
• Internet
• Internet Standards
• Computing
• Public-key cryptography
• Key management
• Domain name system
• Routing protocols
• Domain Name System Security Extensions
• Resource Public Key Infrastructure
• DNS spoofing
• BGP hijacking

SWIFT: Predictive Fast Reroute∗ Thomas Holterbach Stefano Vissicchio ETH Zürich; CAIDA, UC San Diego

Source URL: swift.ethz.ch